COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00007 ENDMK
C⊗;


		   CS 206---Recursive Programming and Proving


			       Class information



Time and place:  Class meets in History 203 (200-203) from 1:15 to 2:30 on
    Tuesdays and Thursdays.

Instructor: Prof. John McCarthy.  Office is Margaret Jacks Hall (Building 460)
    room 356, phone 497-4430.  Usually available Monday afternoons; see Diana
    Hall (MJH 358, phone 497-2800) to make an appointment.

Teaching Assistant: Yoram Moses.  Office is MJH 353, phone 497-1517.  Office
    hours Tuesday and Thursday from 2:30 to 4:00.  Computer address Y.Yoram at
    LOTSA.

Textbooks:  LISP: Programming and Proving, by John McCarthy and Carolyn Talcott.
    Available at the Stanford bookstore.

Other books: The Revised MacLisp Manual, available at the Stanford bookstore.
    The ``EKL Reference Manual'' will be distributed in class.  EKL is an
    interactive proof-checker.

Computer use:  CS 206 will use the LOTSA computer, which has terminals in the
    CERAS and TERMAN buildings.  See the handout ``Using MacLisp at LOTS'' for
    more information. Students with access to other computers that have LISP may
    use those machines, except that the research facilities of the Computer
    Science Department (SCORE, SAIL, or other machines funded by research
    grants) may not be used for class assignments.  EKL will be available at
    LOTSA.

Assignments: Homework problems will be given at various times throughout the
    class.  Some of these will involve writing simple LISP programs in external
    notation and running programs on the computer.  Later assignments will
    include simple proofs of program correctness, and checking these proofs
    using EKL.  Some simple programming in PROLOG may also be included in the
    homework.

Exams:  There will be an in-class midterm exam on Thursday, November 3.  The
    final exam is scheduled for Wednesday, December 14 at 7:00 p.m.

Grading:  Grades will be based on the assignments, midterm and final.